Normative Systems require Hybrid Knowledge Bases ( Extended Abstract )
نویسندگان
چکیده
In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are provided by Hybrid MKNF Knowledge Bases.
منابع مشابه
Normative Systems require Hybrid Knowledge Bases ( Extended
In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are ...
متن کاملNormative Systems Represented as Hybrid Knowledge Bases
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require ...
متن کاملReasoning on Knowledge in Symbolic Computing
Extended Abstract A novel framework, Formal, for specifying mathematical domains of computation and their inherently related type inference mechanisms as well as for transforming those speciications into knowledge bases is introduced. This framework Tja] aims at designing an environment for reasoning about knowledge in symbolic computing. It involves an algebraic speciication language, a method...
متن کاملHybrid Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality ato...
متن کاملA Hybrid Object Clustering Strategy for Large Knowledge-Based Systems
Object bases underlying knowledge-based applications tend to be complex and require management. This research aims at improving the performance of object bases underlying a class of large knowledge-based systems that utilize object-oriented technology to engineer the knowledge base. In this paper, a hybrid clustering strategy that beneecially combines semantic clustering and iterative graph-par...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012